Buy Used and New Eugenio Omodeo Books

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Domenico Cantone,Eugenio Omodeo,Alberto Policriti

ISBN 13: 9780387951973

Format: Illustrated (432 pages)
Publisher: Springer
Published: 26 Jun 2001

Save for later

Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets (Monographs In Computer Science)

by Domenico Cantone,Eugenio Omodeo,Alberto Policriti

ISBN 13: 9781441929051

Format: Paperback (428 pages)
Publisher: Springer
Published: 21 Sep 2011

Save for later